headerbar: Use GtkWindowControls
authorAlexander Mikhaylenko <alexm@gnome.org>
Fri, 24 Apr 2020 15:55:43 +0000 (20:55 +0500)
committerAlexander Mikhaylenko <alexm@gnome.org>
Sun, 26 Apr 2020 10:13:15 +0000 (15:13 +0500)
commit5321f8f195c4d88de5638be624988ae95e7399d5
treee018169d0079eab3d34940dd2d742b9187b609b7
parent4aa8f6f73c7735147208b20e28a32a8808e5ee24
headerbar: Use GtkWindowControls

Now that the title buttons are encapsulated in a separate widget, use
it in the header bar.

Hide them when empty, so that they don't add extra spacing.
gtk/gtkheaderbar.c